Linking architectural and component level system views
نویسنده
چکیده
In hardware and software design model checkers are nowadays used with success to verify properties of system components [23]. The limits of the approach to cope with the size and the complexity of modern computer-based systems are felt when it comes to provide evidence of the trustworthiness of the entire system that has been built out of verified components. To achieve this task one has to experimentally validate or to mathematically verify the composition of the system. This reveals a gap between the finite state machine (FSM) view of model-checkable components and the architectural system view. In this paper we show how Abstract State Machines (ASM) can be used to fill this gap for both design and analysis, using a flexible concept of ASM component.
منابع مشابه
Architectural Reflection for Software Evolution
Software evolution is expensive. Lehman identifies several problems associated with it: Continuous adaptation, increasing complexity, continuing growth, and declining quality. This paper proposes that a reflective software engineering environment will address these problems by employing languages and techniques from the software architecture community. Creating a software system will involve ma...
متن کاملPosition Paper: Challenges in Visualizing and Reconstructing Architectural Views
A common approach to cope with software architecture comprehension is to provide higher levels of abstraction of lower level system information. Architectural recovery tools provide such high-level views by extracting and abstracting a subset of the software entities. In this research we are focusing on challenges in visualizing and reconstructing architectural views. In particular we are looki...
متن کاملA Software Evaluation Model Using Component Association Views
In this paper, we introduce a view-based architectural design evaluation model that allows to quantitatively evaluate and categorize the design of a software system. The model is based on the notion of component association which is a generalization of coupling and cohesion metrics. The component association is defined as a measure of the overall dependency among high-level system components su...
متن کاملSHriMP Views: An Interactive Environment for Exploring Multiple Hierarchical Views of a Java Program
This position paper describes the SHriMP visualization tool and how we are customizing it for browsing Java programs. Available visualizations include views of the Java source code, generated Java documentation, personalized annotations and several architectural views. The architectural views, displayed graphically as nested graphs, provide an interface through which the textual lower-level vie...
متن کاملUsing UML in Architecture-Level Modifiability Analysis
In our scenario-based method for software architecture-level modifiability analysis of business information systems, we use architectural views to determine and express the effect of change scenarios. We distinguish four architectural views. We used the Unified Modeling Language (UML) notation to formalize the information captured in these views. This paper reports on the experience we gained i...
متن کامل